Temporal Attributes: Status and Subsumption
نویسندگان
چکیده
Representing data that changes over time in conceptual data models is required by various application domains, and requires a language that is expressive enough to fully capture the operational semantics of the time-varying information. Temporal modelling languages typically focus on representing and reasoning over temporal classes and relationships, but have scant support for temporal attributes, if at all. This prevents one to fully utilise a temporal conceptual data model, which, however, is needed to model not only evolving objects (e.g., an employee’s role), but also its attributes, such as changes in salary and bonus payouts. To characterise temporal attributes precisely, we use the DLRUS Description Logic language to provide its model-theoretic semantics, therewith essentially completing the temporal ER language ERV T . The new notion of status attribute is introduced to capture the possible changes, which results in several logical implications they entail, including their interaction with temporal classes to ensure correct behaviour in subsumption hierarchies, paving the way to verify automatically whether a temporal conceptual data model is consistent.
منابع مشابه
Subsumption and Recognition of Heterogeneous Constraint
Terminological knowledge representation (tkr) systems such as kl-one are widely used in AI to construct concept taxonomies based on subsumption inferences. However , current tkr systems are unable to represent temporal patterns or recognize instances of such patterns from ongoing observations. Motivated by applications such as service personnel dispatching and plan recognition for interactive u...
متن کاملData and Metadata: Two-Dimensional Integration of Heterogeneous Spatial Databases
In this article, we propose a methodology of integration of heterogeneous spatial databases. A canon-ical spatial data model is, initially, deened. This model of geographical cooperation (Geocoopm) belongs to the family of terminological logics within which everything is deened in terms of concepts and roles. It enables, thanks to the function of subsumption , the classiication of these concept...
متن کاملUsing Temporal Subsumption for Developing Eecient Error-detecting Distributed Algorithms 1
Distributed algorithms can use executable assertions derived from program veri-cation to detect errors at run-time. However, a complete veriication proof outline contains a large number of assertions, and embedding all of them into the program to be checked at run-time would make error-detection very ineecient. The technique of temporal subsumption examines the dependencies between the individu...
متن کاملSpecific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video
We develop, analyze, and evaluate a novel, supervised, specific-to-general learner for a simple temporal logic and use the resulting algorithm to learn visual event definitions from video sequences. First, we introduce a simple, propositional, temporal, event-description language called AMA that is sufficiently expressive to represent many events yet sufficiently restrictive to support learning...
متن کامل